Another Look at Stable Forking in 1-based Supersimple Theories
نویسندگان
چکیده
We give two alternative proofs that 1-based theories of finite SU-rank have stable forking, neither of which seems to require the full power of elimination of hyperimaginaries. We also show some miscellaneous results related to stable forking in simple theories.
منابع مشابه
Geometry of forking in simple theories
We investigate the geometry of forking for Urank 2 elements in supersimple ω-categorical theories and prove stable forking and some structural properties for such elements. We extend this analysis to the case of U-rank 3
متن کاملAround stable forking
In the past few years various conjectures have been made concerning the relationship between simple theories and stable theories. The general thrust is that in a simple theory T forking should be accounted for by some kind of “stable fragment” of T . These issues were raised in discussions between Hart, Kim and Pillay in the Fields Institute in the autumn of 1996, but it is quite likely that ot...
متن کاملSimplicity, and Stability in There
Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover deenability part of stability theory to simplicity theory. In particular, using elimination of hyperimaginaries we prove that for any supersimple T , canonical base of an amalgamation class P is the union of names of-deenitions of P, ranging over stationary L-formulas...
متن کاملStable definability and generic relations
An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p as φ ranges through all stable formulae. A necessary condition for stably definability is given and used to produce an example of a supersimple theory with stable forking having types that are not stably definable. This answers neg...
متن کاملGeometric Structures with a Dense Independent Subset
We generalize the work of [13] on expansions of o-minimal structures with dense independent subsets, to the setting of geometric structures. We introduce the notion of an H-structure of a geometric theory T , show that H-structures exist and are elementarily equivalent, and establish some basic properties of the resulting complete theory T , including quantifier elimination down to “H-bounded” ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011